Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
401	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart & Gr´egoire Henry June 7, 2012 Abstract We present two ongoing related experiments in generic programming Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:12 Type theory Data types Functional programming Functional languages Type class Generic programming OCaml Constructor Main function Software engineering Computing Computer programming
402	ASLA Conference 2001 Does changing future direction have to create interpersonal conflict? Anne L. Russell Abstract In order to forge positive future directions in a constantly changing information environment teacher-li Add to Reading List Source URL: www.russellsynergies.com.au Language: English - Date: 2013-08-01 05:03:55 Keirsey Temperament Sorter Myers-Briggs Type Indicator Personality type ESFP ISTJ Extraversion and introversion Attitude Intuition Jungian cognitive functions Personality Mind Personality tests
403	Package ‘lda’ February 20, 2015 Type Package Title Collapsed Gibbs sampling methods for topic models. VersionDate Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-02-19 18:15:12 Abstract algebra Linear algebra Information retrieval Natural language processing Latent Dirichlet allocation Euclidean vector Topic model Text corpus Search engine indexing Algebra Mathematics Statistical natural language processing
404	πn (Sn ) in Homotopy Type Theory Daniel R. Licata1 and Guillaume Brunerie2 2 1 Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2013-12-09 00:31:04 Abstract algebra Homotopy group Loop space Homotopy Fundamental group Path CW complex Groupoid Infinite loop Topology Homotopy theory Mathematics
405	Microsoft Word - VDE908-abstract Japanese Add to Reading List Source URL: www.2ndchance.info Language: English - Date: 2014-02-04 17:33:09 Health Immune system Immunology Type 1 hypersensitivity Immunologic tests Atopy Allergy Atopic dermatitis Allergen Medicine Allergology Anatomy
406	Lq BOUNDS FOR SPECTRAL CLUSTERS HART F. SMITH Abstract. In these notes, we review recent results concerning the Lp norm bounds for spectral clusters on compact manifolds. The type of estimates we consider were first esta Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2009-07-01 18:14:43 Spectral theory Ordinary differential equations Operator theory Symbol Wave equation Fourier transform Eigenvalues and eigenvectors Sinc function Spectrum Mathematical analysis Algebra Mathematics
407	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
408	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory
409	CCCG 2006, Kingston, Ontario, August 14–16, 2006 A Simple Streaming Algorithm for Minimum Enclosing Balls Hamid Zarrabi-Zadeh∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:59:03 Computational complexity theory Computational geometry Linear programming Analysis of algorithms LP-type problem Algorithm Time complexity Streaming algorithm Minimum bounding box algorithms Theoretical computer science Applied mathematics Mathematics
410	Limitations of Data Encapsulation and Abstract Data Types Paul L. Bergstein University of Massachusetts Dartmouth Abstract One of the key benefits provided by object-oriented Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2000-08-29 17:06:26 Object-oriented programming Protocol Abstraction Class Mutator method Abstract data type Java Interface Object Computing Software engineering Computer programming

UPDATE